[[Reducibility of modules]] # Decomposable module A (left) $R$-[[module]] $M$ is **decomposable** iff it is the [[Direct sum of modules|direct sum]] of two nonzero [[submodule|submodules]]. #m/def/module Note that this does not imply $M$ is a [[semisimple module]]. # --- #state/tidy | #lang/en | #SemBr